The k-variable property is stronger than H-dimension k
نویسندگان
چکیده
منابع مشابه
The k-variable property is stronger than H-dimension k
We study the notion of H-dimension and the formally stronger kvariable property, as considered by Gabbay and Immerman & Kozen. We exhibit a class of flows of time that has H-dimension 3, and admits a finite expressively complete set of one-dimensional connectives, but does not have the k-variable property for any finite k. Published in Journal of Philosophical Logic 26 (1997) 81–101. Publisher’...
متن کاملDeciding the K-Dimension is PSPACE-Complete
In 1988 Littlestone introduced the optimal mistake-bound learning model to learning theory. In this model the difficulty of learning a concept from a concept class is measured by the K-dimension of the concept class, which is a purely combinatorial notion. This is similar to the situation in PAC-learning, where the difficulty of learning can be measured by the Vapnik-Červonenkis dimension. We s...
متن کاملk-SAT Is No Harder Than Decision-Unique-k-SAT
We resolve an open question by [3]: the exponential complexity of deciding whether a k-CNF has a solution is the same as that of deciding whether it has exactly one solution, both when it is promised and when it is not promised that the input formula has a solution. We also show that this has the same exponential complexity as deciding whether a given variable is backbone (i.e. forced to a part...
متن کاملGeneralized Frames for B(H, K)
Frames play significant role in various areas of science and engineering. Motivated by the work of Chander Shekhar, S. K. Kaushik and Abas Askarizadeh, Mohammad Ali Dehghan, we introduce the concepts of $K$-frames for $B(mathcal{H, K})$ and we establish some result. Also, we consider the relationships between $K$-Frames and $K$-Operator Frames for $B(mathcal{H})$.
متن کاملIs the H-2K locus of the mouse stronger than the H-2D locus?
Recently, evidence has been gathered showing that the H-2 complex of tlic mouse consists of only two histocompatibility genes (regions), H-2K and H-2D (Klein & Shreffler 1972). The rest of the H-2 regions described in the literature (C,V,E,A) are probably serological artifacts. Kychlikovi and co-workers ( 197 1 ) reported that significant transformation of allogeneic lymphocytes in mixed cultur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 1997
ISSN: 0022-3611,1573-0433
DOI: 10.1023/a:1017951631048